List Prolog - can equal, not match a string (so not type errors if numbers and string are interchangeable).